Wittgenstein's Uniqueness Rule as an Elimination Rule of Inductive Types:
نویسندگان
چکیده
منابع مشابه
A New Elimination Rule for the Calculus of Inductive Constructions
In Type Theory, definition by dependently-typed case analysis can be expressed by means of a set of equations — the semantic approach — or by an explicit pattern-matching construction — the syntactic approach. We aim at putting together the best of both approaches by extending the pattern-matching construction found in the Coq proof assistant in order to obtain the expressivity and flexibility ...
متن کاملMechanisms of rule acquisition and rule following in inductive reasoning.
Despite the recent interest in the neuroanatomy of inductive reasoning processes, the regional specificity within prefrontal cortex (PFC) for the different mechanisms involved in induction tasks remains to be determined. In this study, we used fMRI to investigate the contribution of PFC regions to rule acquisition (rule search and rule discovery) and rule following. Twenty-six healthy young adu...
متن کاملAdvances in Inductive Rule Learning
A extension to the k-nearest neighbor classifier is described in which automatically induced rules are used as binary features, which are active in an instance when the left-hand side of the corresponding rule matches with the instance. The ripper rule induction algorithm is employed to produce the rules. The similarity between a memory instance and a new instance is based on the rules the two ...
متن کاملRule Combination in Inductive Learning
This paper describes the work on methods for combining rules obtained by machine learning systems. Three methods for obtaining the classification of examples with those rules are compared. The advantages and disadvantages of each method are discussed and the results obtained on three real world domains are commented. The methods compared are: selection of the best rule; PROSPECTOR-like probabil...
متن کاملAnalytical Inductive Programming as a Cognitive Rule Acquisition Devise
One of the most admirable characteristic of the human cognitive system is its ability to extract generalized rules covering regularities from example experience presented by or experienced from the environment. Humans’ problem solving, reasoning and verbal behavior often shows a high degree of systematicity and productivity which can best be characterized by a competence level reflected by a se...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Kagaku tetsugaku
سال: 2021
ISSN: 0289-3428,1883-6461
DOI: 10.4216/jpssj.53.2_95